//约束数据项的类型，便于提示信息，和类型检查
export interface Todo {
    id: number,
    content: string,
    done: boolean
}
